Domain businessflüge.de kaufen?
Wir ziehen mit dem Projekt
businessflüge.de um.
Sind Sie am Kauf der Domain
businessflüge.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain businessflüge.de kaufen?
Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Das Buch "Verification of Object-Oriented Software. The KeY Approach" bietet eine umfassende Analyse und Methodik zur Verifikation von objektorientierter Software. In einer Zeit, in der die Komplexität von Programmen stetig zunimmt, ist es entscheidend, nicht nur abstrakte Konzepte, sondern auch konkrete Programmartefakte zu überprüfen. Die Autoren, Bernhard Beckert, Reiner Hähnle und Peter H. Schmitt, beleuchten die Herausforderungen, die mit der Verifikation grösserer Softwareeinheiten verbunden sind, und bieten innovative Ansätze zur Bewältigung dieser Probleme. Das Buch geht über traditionelle Methoden hinaus und berücksichtigt die Vielzahl an Sprachfeatures, die in modernen Programmiersprachen verwendet werden. Es wird aufgezeigt, wie maschinelle Beweise an Glaubwürdigkeit gewinnen und wie diese Techniken dazu beitragen können, die Rigorosität der Verifikation zu erhöhen. Die Leserinnen und Leser erhalten wertvolle Einblicke in die Anwendung der KeY-Methodik und deren Vorteile für die Softwareentwicklung.
106,99 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Springer Verification of Object-Oriented Software. The KeY Approach (Englisch, Softcover, Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle) (55202134)
Springer Verification of Object-Oriented Software. The KeY Approach (Englisch, Softcover, Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle) (55202134)
106,99 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verification Key
Top-Angebote
Produkte zum Begriff Verification Key:
-
Deductive Software Verification - The KeY Book, Fachbücher von Bernhard Beckert, Wolfgang Ahrendt, Reiner Hähnle, Mattias Ulbrich, Richard Bubel, Peter H. Schmitt"Deductive Software Verification - The KeY Book" ist ein umfassendes Fachbuch, das sich mit der statischen Analyse von Software durch deduktive Methoden beschäftigt. In einem sich schnell entwickelnden Forschungsfeld bietet dieses Buch eine detaillierte Einführung in die KeY-Plattform, die eine Vielzahl von automatisierten Analysen ermöglicht, darunter formale Verifikation, Testgenerierung, Sicherheitsanalysen, Visualisierung und Debugging. Es richtet sich sowohl an aktive Forscher, die ein tiefes Verständnis der theoretischen Grundlagen von KeY erlangen möchten, als auch an Studierende, die sich mit der Java Modeling Language und der praktischen Anwendung von KeY vertraut machen wollen. Die Kapitel sind so strukturiert, dass sie für Leser mit grundlegenden Java-Kenntnissen zugänglich sind, während die umfassende Theorie auch für fortgeschrittene Studierende geeignet ist. Die KeY-Software ist kostenlos und offen zugänglich, was die praktische Anwendung der im Buch behandelten Konzepte unterstützt.128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Deductive Software Verification - The KeY Book (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Peter H. Schmitt, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (55856833)Springer Deductive Software Verification - The KeY Book (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Peter H. Schmitt, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (55856833)128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Verification Key:
-
Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. SchmittDas Buch "Verification of Object-Oriented Software. The KeY Approach" bietet eine umfassende Analyse und Methodik zur Verifikation von objektorientierter Software. In einer Zeit, in der die Komplexität von Programmen stetig zunimmt, ist es entscheidend, nicht nur abstrakte Konzepte, sondern auch konkrete Programmartefakte zu überprüfen. Die Autoren, Bernhard Beckert, Reiner Hähnle und Peter H. Schmitt, beleuchten die Herausforderungen, die mit der Verifikation grösserer Softwareeinheiten verbunden sind, und bieten innovative Ansätze zur Bewältigung dieser Probleme. Das Buch geht über traditionelle Methoden hinaus und berücksichtigt die Vielzahl an Sprachfeatures, die in modernen Programmiersprachen verwendet werden. Es wird aufgezeigt, wie maschinelle Beweise an Glaubwürdigkeit gewinnen und wie diese Techniken dazu beitragen können, die Rigorosität der Verifikation zu erhöhen. Die Leserinnen und Leser erhalten wertvolle Einblicke in die Anwendung der KeY-Methodik und deren Vorteile für die Softwareentwicklung.106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Verification of Object-Oriented Software. The KeY Approach (Englisch, Softcover, Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle) (55202134)Springer Verification of Object-Oriented Software. The KeY Approach (Englisch, Softcover, Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle) (55202134)106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Deductive Software Verification - The KeY Book, Fachbücher von Bernhard Beckert, Wolfgang Ahrendt, Reiner Hähnle, Mattias Ulbrich, Richard Bubel, Peter H. Schmitt"Deductive Software Verification - The KeY Book" ist ein umfassendes Fachbuch, das sich mit der statischen Analyse von Software durch deduktive Methoden beschäftigt. In einem sich schnell entwickelnden Forschungsfeld bietet dieses Buch eine detaillierte Einführung in die KeY-Plattform, die eine Vielzahl von automatisierten Analysen ermöglicht, darunter formale Verifikation, Testgenerierung, Sicherheitsanalysen, Visualisierung und Debugging. Es richtet sich sowohl an aktive Forscher, die ein tiefes Verständnis der theoretischen Grundlagen von KeY erlangen möchten, als auch an Studierende, die sich mit der Java Modeling Language und der praktischen Anwendung von KeY vertraut machen wollen. Die Kapitel sind so strukturiert, dass sie für Leser mit grundlegenden Java-Kenntnissen zugänglich sind, während die umfassende Theorie auch für fortgeschrittene Studierende geeignet ist. Die KeY-Software ist kostenlos und offen zugänglich, was die praktische Anwendung der im Buch behandelten Konzepte unterstützt.128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Deductive Software Verification - The KeY Book (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Peter H. Schmitt, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (55856833)Springer Deductive Software Verification - The KeY Book (Englisch, Softcover, Bernhard Beckert, Mattias Ulbrich, Peter H. Schmitt, Reiner Hähnle, Richard Bubel, Wolfgang Ahrendt) (55856833)128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Verification Key
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.